Version Control with Github
Megumi Oshima & Nicholas Ducharme-Barth
January 2025
Git
Local machine
Version control
Github
Online
For hosting repositories of your code
This is where all of your code and related files lives online
You can clone a repository onto your computer and that copies all of the files and their history as well onto your computer
Once you make changes to your files, you need update the repository with the new versions
Commits are:
groups of small, meaningful changes
snapshots of your repository at that time
tell a story of the history of your repository
Make a commit in 2 stages:
save your changes locally and then stage the files you want to commit (files that include changes you want to record) git add <FILENAME>
commit your changes git commit -m "descriptive commit message"
To sync the changes you’ve made locally with the remote repository, you need to “PUSH” your commits
git push
If you are collaborating with someone else, to get their changes onto your local computer, you need to “PULL” their changes
git pull
Allow you to develop features, fix bugs, or safely experiment with new ideas in a contained section of the project. This allows you to make changes that don’t affect the main branch.
Good for feature developlement, exploration, when collaborating with others, etc.
Let’s make our first commit!
ISC Open Science Worflows Workshop 2025